specification of model

This article may provide the model theory basis for the designs of our country high-speed railroad passenger transportation special line and route line, and provides the reference to making and consummating the corresponding route selection design standard and specification.

本文可为我国高速铁路客运专线线路设计的研究提供借鉴，并对制订和完善相应的选线设计标准与规范有一定参考价值。

互联网摘选

specification of model resistance test for self - stabilized hydrofoil craft

自稳式水翼艇模型阻力试验规程

互联网摘选

According to the specification of technique of pantograph, this paper uses mechanic dynamics analysis software ADAMS to build geometric model of passive pantograph tilting system based on four-linkage mechanism and uses simulation to analyze on kinematics.

文章根据受电弓技术要求，运用ADAMS软件，对基于四连杆机构的被动式受电弓倾摆机构进行了几何建模以及运动学分析。

互联网摘选

The approach analyzes the semantics of sequence diagrams and adds semantic constraint specification to generate testable model. Corresponding information is abstracted from the model to generate FSM.

该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型，从中提取相关信息生成有限状态机；

互联网摘选

The product's specification model is complete; its performance suits each kind of fishing pole model.

产品规格型号齐全, 性能适合各种型号的渔杆.

互联网摘选

Then, we focus on the business component model, abstract several components according to different granularity from the typical user pattern and use Z formal language to describe the specification of components and their assembly mechanism.

接着研究了业务构件模型，根据用户模式抽象出几种不同粒度的数据块构件，并用形式化描述语言Z语言对构件及其组装机制进行规约。

互联网摘选

Based on SUT model and protocol specification, the definitions of obligation property, extensible property and interactive property are given.

然后基于该模型及协议说明给出了互操作性测试中应考虑的义务属性、交互属性及可扩展属性的定义。

互联网摘选

Credit card purchase installments business has broad prospects for development, but in the development process there are still some problems, such as vehicle depreciation model problem analysis, specification of the used car market measures still need to do further analysis.

信用卡购车分期付款具有广阔的发展前景，但是在发展过程中仍然存在一些问题，如车辆贬值问题的的模型分析，二手车市场的规范措施等仍需要做进一步的分析研究。

互联网摘选

The model, the extension of classical petri net, suports specification, performance evaluation, validation and automatic transformation.

mprt网是经典petri网的扩充，它支持规格说明模型的构造、性能评估，以及到程序结构的自动变换。

互联网摘选